Jeremy Gibbons: tìm kiếm trên Z-Library

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền

Truy cập tự do vào tri thức và văn hóa.

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024

Z-Library là một trong những thư viện trực tuyến lớn nhất trên thế giới bào gồm thêm 17,000,000 sách và 84,837,000 báo. Chúng tôi hướng tới việc tạo khả năng tiếp cận văn hóa cho mọi người. Hôm nay (15 tháng 9 2024) chúng tôi bắt đầu tăng quỹ để duy trì và phát triển dự án.

Cũng tải về KHÔNG GIỚI HẠN (trong 31 ngày sau khi quyển góp) cho TẤT CẢ người dùng quyên góp trong giai đoạn tăng quỹ 1 tháng 10 2024.

Về việc thu tiềnChi tiết

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (28)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Algorithm Design with Haskell

Algorithm Design with Haskell

Cambridge University Press

Richard Bird, Jeremy Gibbons

Năm:

2020

Ngôn ngữ:

english

File:

PDF, 2.16 MB

0 / 5.0

english, 2020

2

Algorithm Design with Haskell

Algorithm Design with Haskell

Cambridge University Press

Richard S. Bird, Jeremy Gibbons

Năm:

2020

Ngôn ngữ:

english

File:

PDF, 2.16 MB

0 / 0

english, 2020

3

Seven Deadly Sins

Seven Deadly Sins

Knockabout Publications

Roz Kaveney, Graham Higgins, Tym Manley, Hunt Emerson, Neil Gaiman, Bryan Talbot, Dave Gibbons, Lew Stringer, Mark Rodgers, Steve Gibson, Davy Francis, Jeremy Banks, Alan Moore, Mike Matthews

Năm:

1989

Ngôn ngữ:

english

File:

EPUB, 56.37 MB

5.0 / 4.0

english, 1989

4

Algorithm Design with Haskell

Algorithm Design with Haskell

Cambridge University Press

Richard Bird, Jeremy Gibbons

Năm:

2020

Ngôn ngữ:

english

File:

PDF, 2.16 MB

0 / 0

english, 2020

5

Seven Deadly Sins

Seven Deadly Sins

Knockabout Publications

Roz Kaveney & Graham Higgins & Tym Manley & Hunt Emerson & Neil Gaiman & Bryan Talbot & Dave Gibbons & Lew Stringer & Mark Rodgers & Steve Gibson & Davy Francis & Jeremy Banks & Alan Moore & Mike Matthews [Kaveney, Roz]

Năm:

2015

Ngôn ngữ:

english

File:

EPUB, 56.37 MB

0 / 0

english, 2015

6

The fun of programming

The fun of programming

Palgrave Macmillan

Jeremy Gibbons, Oege de Moor, (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

DJVU, 3.00 MB

0 / 0

english, 2003

7

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Springer-Verlag Berlin Heidelberg

Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 2.63 MB

0 / 0

english, 2007

8

Generic Programming: Advanced Lectures

Generic Programming: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

PDF, 3.88 MB

0 / 0

english, 2003

9

Algorithm Design with Haskell

Algorithm Design with Haskell

Cambridge University Press

Richard Bird, Jeremy Gibbons

Năm:

2020

Ngôn ngữ:

english

File:

DJVU, 7.26 MB

0 / 0

english, 2020

10

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 3.71 MB

0 / 0

english, 2009

11

Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Pei-Hsuan Tsai, Jane W. S. Liu (auth.), Jeremy Gibbons, Wendy MacCaull (eds.)

Năm:

2014

Ngôn ngữ:

english

File:

PDF, 11.76 MB

0 / 0

english, 2014

12

The Fun of Programming

The Fun of Programming

Palgrave Macmillan

Jeremy Gibbons, Oege de Moor, (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

PDF, 13.86 MB

0 / 4.5

english, 2003

13

Haskell’10 Proceedings of the 2010 ACM SIGPLAN Haskell Symposium

Haskell’10 Proceedings of the 2010 ACM SIGPLAN Haskell Symposium

Jeremy Gibbons (editor)

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 4.92 MB

0 / 0

english, 2010

14

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.)

Năm:

2012

Ngôn ngữ:

english

File:

PDF, 3.44 MB

0 / 5.0

english, 2012

15

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 2.85 MB

0 / 0

english, 2009

16

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 2.90 MB

0 / 0

english, 2009

17

Lecture Notes in Computer Science 2297 Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop Oxford,UK,April 10-14,2000

Lecture Notes in Computer Science 2297 Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop Oxford,UK,April 10-14,2000

Springer-Verlag

Roland C Backhouse, Roy Crole, Jeremy Gibbons, School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction, Roland Backhouse, Roy Crole, Jeremy Gibbons, eds, R. C Backhouse

Năm:

2002

Ngôn ngữ:

English

File:

PDF, 179.33 MB

0 / 0

English, 2002

18

Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures

Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures

Springer-Verlag Berlin Heidelberg

Richard Bird, Jeremy Gibbons (auth.), Johan Jeuring, Simon L. Peyton Jones (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

PDF, 1.62 MB

0 / 0

english, 2003

19

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

Springer-Verlag Berlin Heidelberg

Roy Crole (auth.), Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)

Năm:

2002

Ngôn ngữ:

english

File:

PDF, 2.94 MB

0 / 0

english, 2002

20

Generic Programming: Advanced Lectures

Generic Programming: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

PDF, 3.01 MB

0 / 0

english, 2003

21

Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

Springer-Verlag Berlin Heidelberg

Nate Foster, Kazutaka Matsuda, Janis Voigtländer (auth.), Jeremy Gibbons (eds.)

Năm:

2012

Ngôn ngữ:

english

File:

PDF, 1.88 MB

0 / 0

english, 2012

22

Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany

Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany

Thorsten Altenkirch, Conor Mcbride (auth.), Jeremy Gibbons, Johan Jeuring (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

PDF, 7.32 MB

0 / 0

english, 2003

23

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.)

Năm:

2012

Ngôn ngữ:

english

File:

PDF, 3.09 MB

0 / 0

english, 2012

24

Bidirectional Transformations: International Summer School 2016 Tutorial Lectures

Bidirectional Transformations: International Summer School 2016 Tutorial Lectures

Jeremy Gibbons, Perdita Stevens (Editors)

Năm:

2018

Ngôn ngữ:

english

File:

PDF, 9.52 MB

0 / 0

english, 2018

25

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Nazareno Aguirre, Germán Regis, Tom Maibaum (auth.), Jim Davies, Jeremy Gibbons (eds.)

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 6.13 MB

0 / 0

english, 2007

26

Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures

Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures

Springer-Verlag Berlin Heidelberg

Richard Bird, Jeremy Gibbons (auth.), Johan Jeuring, Simon L. Peyton Jones (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

PDF, 1.86 MB

0 / 0

english, 2003

27

Datatype-Generic Programming. International Spring School, SSDGP 2006

Datatype-Generic Programming. International Spring School, SSDGP 2006

Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 2.60 MB

0 / 0

english, 2007

28

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Springer-Verlag Berlin Heidelberg

Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 3.27 MB

0 / 0

english, 2007